objective case

n : the category of nouns serving as the direct object of a verb

[syn: {accusative}, {accusative case}]

Objective CAML

(Originally "CAML" - Categorical Abstract Machine

Language) A version of {ML} by G. Huet, G. Cousineau, Ascander

Suarez, Pierre Weis, Michel Mauny and others of {INRIA}. CAML

is intermediate between {LCF ML} and {SML} [in what sense?].

It has {first-class} functions, {static type inference} with

{polymorphic} types, user-defined {variant types} and {product

types}, and {pattern matching}. It is built on a proprietary

run-time system.

The CAML V3.1 implementation added {lazy} and {mutable} data

structures, a "{grammar}" mechanism for interfacing with the

{Yacc} {parser generator}, {pretty-printing} tools,

high-performance {arbitrary-precision} arithmetic, and a

complete library.

CAML was renamed "Objective CAML" in 1996. [Why?]

See also {CAML Light}.

{(ftp://ftp.inria.fr/lang/caml/)}.

{(ftp://ftp.inria.fr/INRIA/caml/V3.1)}.

E-mail: Pierre Weis ,

(bugs).

Mailing list: .

{Usenet} newsgroup: {news:comp.lang.ml}.

["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS,

1989].

[Home page?]

(2000-07-06)